$\forall$$g$:Group\{i\}. Inverse($\mid$$g$$\mid$;$\ast$;e;$\sim$)